ARM : un modèle réflexif asynchrone pour les objets répartis et réactifs

نویسندگان

  • Jacques Malenfant
  • Simon Denier
چکیده

The traditional procedural approach to programming language reflection, where the connection between the base and the meta levels is of an implementation nature, is challenged by component-based, distributed and reactive systems. In all of these fields, part of the system to reflect upon cannot be captured in an “implements” relation, where the metalevel operates as a language processor (e.g. interpreter) either because we lack a centralized state or an essential ingredient lies outside the system. We introduce a novel asynchronous reflective model, ARM, where the connection between levels use an asynchronous publish/subscribe communication model. We show not only that this model is better suited to distributed and reactive systems, but that it also generalizes the possible forms of reflection by adopting and adapting to the “right combination of connection and detachment” between the base and the meta level. We present a first implementation of ARM in Java, under J2EE with JMS. MOTS-CLÉS : réflexion, publication/souscription, Java, connexion causale, adaptation dynamique.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Behavioural models for distributed Fractal components

This paper presents a formal behavioural specification framework together with its applications in different contexts for specifying and verifying the correct behaviour of distributed Fractal components. Our framework allows us to build behavioural models for applications ranging from sequential Fractal components, to distributed objects, and finally distributed components. Our models are able ...

متن کامل

Spécification et vérification formelles des systèmes de composants répartis. (Formal specification and verification of distributed component systems)

ion→ abstraction id of id ’{’ abstraction de types TypeDecl∗ déclarations de type Field∗ variables locales Constructor∗ constructeurs abstraits Operator∗ opérateurs abstraits ’}’ Constructor→ Type ’(’ args ’)’ sign. du constructeur concret [ abstracted as Type ’(’ args ’)’ ’{’ Body ’}’ ] version abstraite Operator→ Type id ’(’ args ’)’ sign. du operateur concret [ abstracted as Type id ’(’ args...

متن کامل

Vers un modèle du raisonnement dans les langages à objets

Résumé Ce papier est une proposition de modèle du raisonnement dans les langages hybrides, intégrant un langage de programmation par objets avec des règles de production. Nous proposons de différencier entre deux catégories d'objets, les objet du monde perçu et ceux du monde conçu. Le raisonnement est alors considéré comme un processus qui crée ou modifie le monde conçu à partir d'observations ...

متن کامل

Du collectif pour la satisfaction individuelle : un modèle d'auto-organisation

RÉSUMÉ. Cet article présente une approche permettant à une collectivité de s’organiser. Le modèle sous-jacent est basé sur un phénomène biologique auto-organisé observé dans des groupes de rats. Ce modèle, Hamelin, permet de spécialiser par auto-organisation une collectivité à partir de besoins répartis au sein des individus. Dans cet article, nous présentons les principes de ce modèle et nous ...

متن کامل

Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes

Nous définissons un modèle d’exécution réactif et interactif pour la programmation logique avec contraintes (PLC). Ce modèle d’exécution s’appuie d’une part sur un système de transformation des dérivations CSLD pour l’ajout et le retrait de contraintes et d’atomes dans la requête, et d’autre part sur un résolveur de contraintes dynamiques supportant l’ajout et le retrait incrémental de contrain...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • L'OBJET

دوره 9  شماره 

صفحات  -

تاریخ انتشار 2003